Second Order Non-Markovian Fluid Stochastic Petri Nets
نویسندگان
چکیده
We present a Petri net formalism that allows for mixed discrete and continuous stochastic models. The continuous part of the models consists of uid places that are lled and emptied at random (normally distributed) rate. Fluid places can be used for the modelling of continuous system components as well as for continuous approximation of heavily loaded discrete places in order to avoid state space explosion. The dynamics of a second order FSPN are described by second order partial di erential equations.
منابع مشابه
Recent Developments in Non-Markovian Stochastic Petri Nets
Analytical modeling plays a crucial role in the analysis and design of computer systems. Stochastic Petri Nets represent a powerful paradigm, widely used for such modeling in the context of dependability, performance and performability. Many structural and stochastic extensions have been proposed in recent years to increase their modeling power, or their capability to handle large systems. This...
متن کاملThe Evolution of Stochastic Petri Nets
Analytical modeling is a crucial part in the analysis and design of computer systems. Stochastic Petri Nets represent a powerful tool, widely used for dependability, performance and performability modeling. Many structural and stochastic extensions have been proposed so as to increase their modeling power. In this paper we review the main structural and stochastic extensions of Petri nets, by p...
متن کاملSpeciications and Solution Techniques for Non-markovian Stochastic Petri Nets
Allmost all the available tools for the analysis of Stochastic Petri Nets (SPN) assume that the stochastic nature of the problem is restricted to be a Continuous Time Markov Chain (CTMC), but in reality, there are instances in which the CTMC assumption is too weak. The evolution of the stochastic systems with non-exponential timing becomes a stochastic process, for which in general, no analytic...
متن کاملSpeci cations and Solution Techniques for Non-Markovian Stochastic Petri Nets
Allmost all the available tools for the analysis of Stochastic Petri Nets (SPN) assume that the stochastic nature of the problem is restricted to be a Continuous Time Markov Chain (CTMC), but in reality, there are instances in which the CTMC assumption is too weak. The evolution of the stochastic systems with nonexponential timing becomes a stochastic process, for which in general, no analytica...
متن کاملSecond Order Non - Markovian Fluid Stochastic Petri
We present a Petri net formalism that allows for mixed discrete and continuous stochastic models. The continuous part of the models consists of uid places that are lled and emptied at random (normally distributed) rate. Fluid places can be used for the modelling of continuous system components as well as for continuous approximation of heavily loaded discrete places in order to avoid state spac...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1996